তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024 তহবিল সংগ্রহের বিষয়ে
1
Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

সাল:
2000
ভাষা:
english
ফাইল:
PDF, 2.75 MB
0 / 0
english, 2000